661. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده : / Richard J. Rossi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
662. Theory and problems of discrete mathematics
پدیدآورنده : Seymour Lipschutz, Marc Lipson
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Algebra, Abstract Outlines, syllabi, etc,، Combinatorial analysis Outlines, syllabi, etc,، Discrete mathematics,، Logic, Symbolic and mathematical Outlines, syllabi, etc
رده :
QA
162
.
L56
2007
663. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
پدیدآورنده : Mostowski, Andrzej
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
B
28
.
F5
.
A3
Fasc
.
17
664. Toposes, Algebraic geometry and logic
پدیدآورنده : ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
665. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
666. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
667. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
668. Towards mathematical philosophy
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
669. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
670. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
671. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
672. Tracking reason :
پدیدآورنده : / Jody Azzouni
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
673. Translations from the philosophical writings of Gottlob Frege
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
BC
135
.
F73T7
1980
674. Truth, possibility and probability : new logical foundations of probability and statistical inference
پدیدآورنده : Chuaqui, Rolando
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
C58
1991
675. Truth, syntax and modality
پدیدآورنده : / Edited by Hugues Leblanc
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
BC135
،.
C56
1970
676. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : Conference on Alternative Semantics, 0791, Temple University
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Semantics-- Congresses
رده :
BC
135
.
C56
1970
677. Truth, syntax and modality; proceedings of the Temple University Conference on Alternative Semantics
پدیدآورنده : edited by Hugues Leblanc
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
678. Truth, syntax and modality: proceedings of the Temple University Conference on Alternative semantics
پدیدآورنده : edited by Hugues Leblance
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Semantics
رده :
BC
135
.
C56
1970
679. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
680. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26